Corrigendum uploaded on December 19,2023